dgit.raspbian.org Git - openmpi.git/commit

author	Raspbian forward pporter <root@raspbian.org>
	Thu, 26 Jul 2018 13:20:15 +0000 (14:20 +0100)
committer	Raspbian forward pporter <root@raspbian.org>
	Thu, 26 Jul 2018 13:20:15 +0000 (14:20 +0100)
commit	4b9b2cb3bf3df0aa123365a1f42d785f03c5da52
tree	d8a20a13e15ec8281c0191d30a6a080088c02967	tree \| snapshot
parent	8659ed27db8834d042486341b9bec94f51f27a09	commit \| diff
parent	f255e62af794c0a7d7f781aad0b71472748bc95d	commit \| diff

Merge version 3.1.0-7+rpi1 and 3.1.1.real-4 to produce 3.1.1.real-4+rpi1

Unnamed repository; edit this file 'description' to name the repository.